| 1 | Lydie du Bousquet and Michel Delaunay
Mutation Analysis for Lustre programs: Fault Model Description and Validation
Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)Windsor, UK, 10-14 September 2007. |
|
| | Abstract: Mutation analysis is usually used to provide an indication of the fault detection ability of a test set. It is mainly used for unit testing evaluation, but has also been extended for integration testing evaluation. This paper describes adaptation of mutation analysis to the Lustre programming language, including both unit and integration testing. This paper focuses on the fault model, which has been extended since our previous works. Validation of the fault model is presented. |
| | @INPROCEEDINGS{BousquetD07b,
author = {Lydie du Bousquet and Michel Delaunay},
title = {Mutation Analysis for Lustre programs: Fault Model Description and Validation},
booktitle = {Proceedings of the 3rd Workshop on Mutation Analysis (MUTATION'07)},
year = {2007},
address = {Windsor, UK},
month = {10-14 September},
pages = {176-184}
} |
| 2 | Lydie du Bousquet and Michel Delaunay
Using Mutation Analysis to Evaluate Test Generation Strategies in a Synchronous Context
Proceedings of the 2nd International Conference on Software Engineering Advances (ICSEA'07)Cap Esterel, French Riviera, France, 25-31 August 2007. |
|
| | Abstract: LUTESS is a test data generator dedicated to synchronous software validation. The tool produces test with respect to an environment description. To check if this description is really as expected, we use mutation analysis. The key point of the approach is to select a subset of mutants which characterizes some kind of "interesting situations" that are supposed to be often produced thanks to environment description. Intuitively, if preselected mutants are killed "very often" during tests, environment description is as expected (with respect to these "interesting situations"). |
| | @INPROCEEDINGS{BousquetD07,
author = {Lydie du Bousquet and Michel Delaunay},
title = {Using Mutation Analysis to Evaluate Test Generation Strategies in a Synchronous Context},
booktitle = {Proceedings of the 2nd International Conference on Software Engineering Advances (ICSEA'07)},
year = {2007},
address = {Cap Esterel, French Riviera, France},
month = {25-31 August},
pages = {40}
} |
